corollary of bpt